@$i$ always.$P$($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$@$i$. $P$($x$ when $e$)